run_tcl -fg prox_detect_impl1_synplify.tcl
